Avanzando la investigación matemática con búsqueda de pruebas formales con IA
Un agente de IA resolvió 9 de 353 problemas abiertos de Erdős usando Lean. Descubre cómo la búsqueda de pruebas formales impulsa la investigación matemática.
#búsqueda de pruebas